From 3b8cf23fbcf1248d9fbef33305751b78072048de Mon Sep 17 00:00:00 2001 From: Alexander Larsson Date: Thu, 15 Mar 2012 20:15:14 +0100 Subject: [PATCH] win32: Add borders around scrolled windows --- gtk/gtk-win32-base.css | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gtk/gtk-win32-base.css b/gtk/gtk-win32-base.css index 30a37f580f..32687eee99 100644 --- a/gtk/gtk-win32-base.css +++ b/gtk/gtk-win32-base.css @@ -22,6 +22,9 @@ GtkViewport { -GtkWidget-link-color: -gtk-win32-color(button, 26); -GtkWidget-visited-link-color: -gtk-win32-color(button, 26); border-color: shade (@bg_color, 0.6); + + -GtkScrolledWindow-scrollbars-within-bevel: 1; + -GtkScrolledWindow-scrollbars-spacing: 0; } GtkFrame { @@ -74,6 +77,12 @@ GtkFrame { color: #fff; } +GtkScrolledWindow.frame { + border-style: solid; + border-width: 2px; + border-image: -gtk-win32-theme-part(listview, 5 1) 2 2 2 2 stretch; +} + .view { border-width: 0; border-radius: 0; -- 2.30.2